Skeleton Structures and Origami Design

In this dissertation we study problems related to polygonal skeleton structures that have applications to computational origami. The two main structures studied are the straight skeleton of a simple polygon (and its generalizations to planar straight line graphs) and the universal molecule of a Lang polygon. This work builds on results completed jointly with my advisor Ileana Streinu. Skeleton structures are used in many computational geometry algorithms. Examples include the medial axis, which has applications including shape analysis, optical character recognition, and surface reconstruction; and the Voronoi diagram, which has a wide array of applications including geographic information systems (GIS), point location data structures, motion planning, etc. The straight skeleton, studied in this work, has applications in origami design, polygon interpolation, biomedical imaging, and terrain modeling, to name just a few. Though the straight skeleton has been well studied in the computational geometry literature for over 20 years, there still exists a significant gap between the fastest algorithms for constructing it and the known lower bounds. One contribution of this thesis is an efficient algorithm for computing the straight skeleton of a polygon, polygon with holes, or a planar straight-line graph given a secondary structure called the induced motorcycle graph. The universal molecule is a generalization of the straight skeleton to certain convex polygons that have a particular relationship to a metric tree. It is used in Robert Lang\u27s seminal TreeMaker method for origami design. Informally, the universal molecule is a subdivision of a polygon (or polygonal sheet of paper) that allows the polygon to be ``folded\u27\u27 into a particular 3D shape with certain tree-like properties. One open problem is whether the universal molecule can be rigidly folded: given the initial flat state and a particular desired final ``folded\u27\u27 state, is there a continuous motion between the two states that maintains the faces of the subdivision as rigid panels? A partial characterization is known: for a certain measure zero class of universal molecules there always exists such a folding motion. Another open problem is to remove the restriction of the universal molecule to convex polygons. This is of practical importance since the TreeMaker method sometimes fails to produce an output on valid input due the convexity restriction and extending the universal molecule to non-convex polygons would allow TreeMaker to work on all valid inputs. One further interesting problem is the development of faster algorithms for computing the universal molecule. In this thesis we make the following contributions to the study of the universal molecule. We first characterize the tree-like family of surfaces that are foldable from universal molecules. In order to do this we define a new family of surfaces we call Lang surfaces and prove that a restricted class of these surfaces are equivalent to the universal molecules. Next, we develop and compare efficient implementations for computing the universal molecule. Then, by investigating properties of broader classes of Lang surfaces, we arrive at a generalization of the universal molecule from convex polygons in the plane to non-convex polygons in arbitrary flat surfaces. This is of both practical and theoretical interest. The practical interest is that this work removes the case from Lang\u27s TreeMaker method that causes TreeMaker to fail to produce output in the presence of non-convex polygons. The theoretical interest comes from the fact that our generalization encompasses more than just those surfaces that can be cut out of a sheet of paper, and pertains to polygons that cannot be lied flat in the plane without self-intersections. Finally, we identify a large class of universal molecules that are not foldable by rigid folding motions. This makes progress towards a complete characterization of the foldability of the universal molecule

Geodesic Universal Molecules

The first phase of TreeMaker, a well-known method for origami design, decomposes a planar polygon (the “paper”) into regions. If some region is not convex, TreeMaker indicates it with an error message and stops. Otherwise, a second phases is invoked which computes a crease pattern called a “universal molecule”. In this paper we introduce and study geodesic universal molecules, which also work with non-convex polygons and thus extend the applicability of the TreeMaker method. We characterize the family of disk-like surfaces, crease patterns and folded states produced by our generalized algorithm. They include non-convex polygons drawn on the surface of an intrinsically flat piecewise-linear surface which have self-overlap when laid open flat, as well as surfaces with negative curvature at a boundary vertex

Lang’s Universal Molecule Algorithm

Robert Lang’s Universal Molecule algorithm, a landmark in modern computational origami, is the main component of his widely used Tree Maker program for origami design. It computes a crease pattern of a convex polygonal region, starting with a compatible metric tree. Although it has been informally described in several publications, neither the full power nor the inherent limitations of the method are well understood. In this paper we introduce a rigorous mathematical formalism to relate the input metric tree, the output crease pattern and the folded uniaxial origami base produced by the Universal Molecule algorithm. We characterize the family of tree-like 3D shapes that are foldable from the computed crease patterns and give a correctness proof of the algorithm

SiGeC/Si superlattice microcoolers

Monolithically integrated active cooling is an attractive way for thermal management and temperature stabilization of microelectronic and optoelectronic devices. SiGeC can be lattice matched to Si and is a promising material for integrated coolers. SiGeC/Si superlattice structures were grown on Si substrates by molecular beam epitaxy. Thermal conductivity was measured by the 3omega method. SiGeC/Si superlattice microcoolers with dimensions as small as 40×40 µm^2 were fabricated and characterized. Cooling by as much as 2.8 and 6.9 K was measured at 25 °C and 100 °C, respectively, corresponding to maximum spot cooling power densities on the order of 1000 W/cm^2